D. Willard; "Self-verifying systems, the incompleteness theorem and the tangibility reflection principle"